ecl-mng{i:l}
ecl-mng(es; i; ds; da; x; snd; upd)
== l-all(msg-spec-links(snd); l.ecl-mng-sends{i:l}(es; i; ds; da; x; l; snd))
==  l-all(update-spec-vars(upd); z.ecl-mng-update{i:l}(es; i; ds; da; x; z; upd)) 

latex

Definitions	P  Q, msg-spec-links(snd), ecl-mng-sends{i:l}(es; i; ds; da; x; l; snd), l-all(L; x.P(x)), update-spec-vars(upd), ecl-mng-update{i:l}(es; i; ds; da; x; z; upd)
FDL editor aliases	ecl-mng